; Little endian file system and admin key!

#include <config.h>

        .section .eeprom,"aw",@progbits
        ;; .text
; CARD_STATE_ADDR
cardstate:
	.byte	0x00
; ATR_LEN_ADDR
ATRlen:
	.byte	0x0F
; ATR_ADDR
ATRaddr:
	; TS:		3B	- direct convention
	; T0:		AA	- TB1/TD1 follows,  historical bytes
	; TB1:		00	- no Vpp
	; TD1:		40	- TC2 follows
	; TC2:		0A	- WI (1 second)
	; T1-T8:	50 69 6E 74 61 72 4F 53	- "PintarOS"
	; T9:		01	- Chip type
	;				  00: AT90S2323, AT90S2343
	;				  01: AT90S8515, AT90S8535
	;				  02: ATmega161
	;				  10: 16F84
	;				  11: 16F876
	;				  FF: unspec.
	; T10:		03	- External EEPROM size
	;				  00: none
	;				  01: 16k bit
	;				  02: 32k bit
	;				  03: 64k bit
	;				  04: 128k bit
	;				  05: 256k bit
	;				  FF: unspec.
	.byte	0x3B, 0xAA, 0x00, 0x40, 0x0A, 0x50, 0x69, 0x6E
	.byte	0x74, 0x61, 0x72, 0x4F, 0x53, 0x01, 0x03, 0x00
	.byte	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
; PIN_ADDR
	.byte	0x31, 0x32, 0x33, 0x34
; PIN_RETCNTR_ADDR
	.byte	0x00
; SERNUM_ADDR
	.byte	0x01, 0x23, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF
; RAND_STATE_ADDR
	; Counter
	.byte	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
	; State
	.byte	0xF1, 0x23, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xE0
	; Key
	.byte	0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18
	.byte	0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27, 0x28
; ADM_KEY_ADDR
	.byte	0x01, 0x23, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF
	.byte	0x01, 0x23, 0x45, 0x67, 0x89, 0xAB, 0xCD, 0xEF
; ADM_RETCNTR_ADDR
	.byte	0x00
